銷售排行
更多...
Ansys Scade 2023 R1 嵌入式安全關鍵系統開發 英文版

Ansys Scade 2023 R1 嵌入式安全關鍵系統開發 英文版

貨  號:cad16172-d1

種  類: 1002 |

影片年份:2023

演  員: act |

瀏覽次數:1510

銷售價:NT$200

備註


Ansys Scade 2023 R1 嵌入式安全關鍵系統開發 英文版

Ansys Scade 2023 R1 嵌入式安全關鍵系統開發 英文版

-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= HoneRiSO Apps -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= 軟體名稱: Ansys Scade 2023 R1 語系版本: 英文版 光碟片數: 單片裝(單面 DVD) 保護種類: 破解檔、授權檔(授權日期只到 2035 年 12 月 31 號) 破解說明: 見最底下 系統支援: 適用 64 位元版的 Windows 10/11(不包含家用版) 硬體需求: PC 軟體類型: 嵌入式安全關鍵系統開發 更新日期: 2023.01.22 軟體發行: Ansys(O.D) 官方網站: https://www.ansys.com/products/embedded-software/ansys-scade-suite 中文網站: http://www.cybernet-ap.com.tw/zh.php?m=866&t=88 軟體簡介: (以官方網站為準) -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= 現今科技日益精進,日常生活中的硬體設備也趨向於智慧自動化,如飛航技術中的 自動操控系統或無人車系統的發展等。而系統可分為控制器及受控體,硬體扮演著 受控體的角色,執行控制器所命令的操控行為。控制器本身含有相當大量的演算法 及運算程式軟體,這些就如同人類的大腦,根據外在環境反應行為模式,發送命令 給硬體產生作動。在相當注重安全的系統上,如核能、航空、汽車、軍事、航太、 鐵路、醫學系統領域,一旦控制器產生錯誤便會造成極大的災難。因此在進行軟體 開發時便需遵循一套標準的開發流程及準則,以確保設備在即時環境中能正確的運 作。 ANSYS SCADE (Safety-Critical Application Development Environment) 即有此 優勢,提供關鍵嵌入式軟體開發工具和方法學,運用 Correct By Construction的 設計理念從精確的需求規範自動產生嵌入式程式碼,實現開發流程的高度自動化。 SCADE 是基於模型的開發與驗證平台,覆蓋從系統到軟體的完整生命週期,支持系 統設計、控制邏輯設計、圖形顯示設計和全生命週期管理。 SCADE 可規避設計中因人為因素可能產生的安全隱憂,將機械性的工作交由工具去 完成。SCADE 同時已經過一系列國際安全法規的鑑定與認證,擁有 SCADE 您將不 用再進行程式碼驗證或是低層測試等工作。 其技術認證包括: - 航空航太 A 級標準: DO-178B/ DO-178C - 重工業與能源領域: IEC 61508 SIL3 - 軌道交通: EN 50128 SIL 3/4 - 核能: IEC 60880 - 醫療儀器: IEC 62304 - 車輛安全: ISO 26262,可用於 ASIL D 級軟體 SCADE Suite 主要用於控制邏輯的設計與驗證,為研發人員設計出高安全性軟體, 提供一個完整的平台,其功能包括:關鍵應用軟體作多方管理的需求、模型化基礎 設計、模擬及除錯、軟體驗證、標準認證程式碼生成器及具有協同其他開發工具的 便利性。 快速原型及設計 - 將建模化為直覺式的方塊圖,互相連接來傳遞控制訊號及資料流 - 在嚴謹的數學模型設計基礎之上,確保設計之模型具有精確性、完整性、一致性及可驗證性 程式驗證 - 設計過程隨時可檢驗程式碼的正確性,以便早期發現程式的問題 - 模型安全性測試,假如結果為不安全,會提出測試案例說明發生不安全的條件為何,幫助使用者進行除錯 - 自動生成覆蓋率測試報告以方便使用者調整模型 - 能進行時間堆疊分析,讓即時模擬需求的人員了解模型模擬的最劣運行時間並進行優化 - 協助使用者定位出可能出現除零或溢出的程式碼區塊 KCG 程式碼生成器 - 能將模型轉為 C code 或 Ada 的嵌入式程式碼 - 所生成的程式碼可直接嵌入產品中而不需任何修改 - 在運作環境一致的情況下,能夠保證模擬的結果和最終於平台上的執行相同 - 此工具通過航太、核能、醫學、國防、車輛等一系列的專業認證,因此將可節省開發人員繁瑣的程式碼驗證流程 與不同建模環境連結 - SIMULINK 系統模型設計能匯入 SCADE Suite 環境,一來免除重新建模,二來可以享用 SCADE suitR 高可靠度環境所帶來的優勢 - 可以將 SCADE Suite 生成的程式碼轉為在 SIMULINK 內使用的 S-function,可結合受控體進行全面性的模擬與分析 介紹 -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= 站長安裝測試環境與安裝說明: -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= ‧測試環境 Windows 11.22H2 64位元繁體中文專業版、AMD CPU、4 GB 記憶體。 ‧見光碟 "安裝說明.txt" 中文說明 -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=